(0 16 5)(1 17 3)(2 14 10)(4 11 9)(6 15 8)(7 13 12)
ALLOWS (11/8)-SEQUENCE
1: (7 8 12)
(0 16 5)(1 17 3)(2 14 10)(4 11 9)(6 15 8 13 12)(7)
2: (8 13 15)
(0 16 5)(1 17 3)(2 14 10)(4 11 9)(6 15 12)(7)(8)(13)
3: (2 14 10)
(0 16 5)(1 17 3)(2)(4 11 9)(6 15 12)(7)(8)(10)(13)(14)
4: (4 11 9)
(0 16 5)(1 17 3)(2)(4)(6 15 12)(7)(8)(9)(10)(11)(13)(14)